81. A concise introduction to mathematical logic
پدیدآورنده : Rautenberg, Wolfgang.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
R26513
2006
82. A concise introduction to mathematical logic
پدیدآورنده : / Wolfgang Rautenberg
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
R26513
2006
83. A concise introduction to mathematical logic
پدیدآورنده : Rautenberg, Wolfgang
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
R28E413
2006
84. A course in mathematical logic
پدیدآورنده : by J. L. Bell and M. Machover,Title
موضوع : Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
85. A course in mathematical logic
پدیدآورنده : Bell, John Lane
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
B395
86. A course in mathematical logic
پدیدآورنده : Bell, John Lane
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
B44
1977
87. A course in mathematical logic
پدیدآورنده : / YU. I. Manin
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Logic, symbolic and mathematical
رده :
511
.
3
M278
88. A course in mathematical logic
پدیدآورنده : Manin, IU. I.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M296
89. A course in mathematical logic
پدیدآورنده : Manin, IUrii Ivanovich, 7391-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M273
90. A course in mathematical logic
پدیدآورنده : Manin, IU. I.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M296
91. <A> course in mathematical logic
پدیدآورنده : / by J. L. Bell and M. Machover
کتابخانه: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
موضوع :
رده :
QA9
،.
B46
1977
92. A course in mathematical logic
پدیدآورنده : Manin, IU I
موضوع : ، Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
93. A course in mathematical logic for mathematicians
پدیدآورنده : Yu. I. Manin ; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
کتابخانه: Central Library Yasuj University (Kohgiluye va Buyer ahmad)
موضوع : Logic, Symbolic and mathematical,Einfeuhrung., swd,Mathematische Logik., swd
رده :
511
,.
3
,.
M296
,
2010
94. A course in mathematical logic for mathematicians
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical. ; Einf?hrung. ; swd. ; Mathematische Logik. ; swd. ;
95. <A> course in mathematical logic for mathematicians
پدیدآورنده : \ Yu. I. Manin; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical.,منطق ریاضی
رده :
E-Book
,
96. A course in mathematical logic for mathematicians
پدیدآورنده : / Yu. I. Manin
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
M29613
2010
97. A course on foundations of nonstandard analysis
پدیدآورنده : Kanovei, Vladimir
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Nonstandard mathematical analysis,، Mathematical analysis,، Functional analysis,، Logic, Symbolic and mathematical
رده :
QA
299
.
82
.
K2
1994
98. A course on foundations of nonstandard analysis
پدیدآورنده : Kanovei, Vladimir
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Nonstandard mathematical analysis, Logic, Symbolic and mathematical
رده :
QA
299
.
82
.
K36
1994
99. A course on mathematical logic
پدیدآورنده : Srivastava, Shashi Mohan
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Textbooks ، Logic, Symbolic and mathematical,، Godel's theorem
رده :
QA
9
.
S684C6
2013
100. A course on mathematical logic
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical. ;
